(0 12 10)(1 19 17)(2 20 4)(3 11 9)(5 14 8)(6 16 7)(13 18 15)
ALLOWS (11/8)-SEQUENCE
1: (10 11 12)
(0 12 9 3 11)(1 19 17)(2 20 4)(5 14 8)(6 16 7)(10)(13 18 15)
2: (0 3 11)
(0)(1 19 17)(2 20 4)(3 12 9)(5 14 8)(6 16 7)(10)(11)(13 18 15)
3: (2 20 4)
(0)(1 19 17)(2)(3 12 9)(4)(5 14 8)(6 16 7)(10)(11)(13 18 15)(20)
4: (3 12 9)
(0)(1 19 17)(2)(3)(4)(5 14 8)(6 16 7)(9)(10)(11)(12)(13 18 15)(20)